Sokoban Solver Statistics

Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?			Floors	Boxes	Lower Bound	BP
	Sokoban Solver Statistics - Festival 2.0 - Sven Egevad Sharpen Date: 2023-06-05
Solved levels	141319	21980	17701	114 of 153	43	4	6		Total	18761	5296	10210	17456

Filter

Solved levels	141319	21980	17701	114 of 153	43	4	6		Total	18761	5296	10210	17456

Sokoban Solver Statistics - Festival 2.0 10 minutes - Sven Egevad Sharpen
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
1	1520	492	2	✓				19	16	156	21	374	406
2				✕				19	16	190	65	1	81
3	456	142	90	✓	✓			11	11	81	32	72	72
4				✕				11	11	81	32	36	64
5	402	89	1	✓	✓			11	12	65	23	1	29
6	991	105	343	✓				13	12	100	36	5	37
7	1013	194	64	✓				13	15	119	46	32	42
8				✕				13	13	109	36	52	70
9	762	102	3	✓				13	13	105	28	44	54
10	2620	376	127	✓				17	15	190	76	14	72
11	1248	114	403	✓				14	14	143	58	24	42
12	2700	202	498	✓				14	14	102	19	18	78
13	1077	326	1	✓				12	16	108	24	140	168
14				✕				13	13	109	37	28	48
15	647	72	7	✓				13	13	108	36	28	44
16	1171	154	596	✓				13	13	108	36	28	48
17	1621	190	286	✓				13	13	98	26	28	48
18	739	110	431	✓				13	13	98	26	28	48
19	1757	330	213	✓				13	13	108	36	40	66
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
20	491	72	2	✓	✓			13	11	64	10	14	36
21	466	107	1	✓	✓			9	10	49	14	5	19
22	563	138	3	✓				11	11	81	28	40	50
23	1925	276	474	✓				16	16	156	60	72	86
24	65	17	1	✓	✓			9	9	32	4	5	13
25				✕		✓ Festival 3.1		19	16	188	40	740	756
26	1315	158	493	✓				14	11	95	33	20	36
27	228	34	5	✓	✓			9	11	51	16	6	14
28	333	36	1	✓				11	11	68	17	34	34
29	1062	146	314	✓	✓			17	9	89	26	8	28
30				✕				17	17	179	52	16	40
31				✕				17	17	179	52	16	48
32	215	30		✓	✓			11	9	53	15	14	24
33	105	26	1	✓	✓			10	11	41	8	10	24
34	135	28	1	✓	✓			11	8	45	14	14	16
35	4301	438	437	✓				17	18	209	80	7	136
36	3736	456	446	✓				17	18	209	80	7	138
37				✕				17	18	209	81	9	146
38	4978	547	435	✓				19	17	239	88	4	113
39				✕				19	17	239	89	5	118
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
40	3944	373	406	✓				19	17	228	77	4	121
41	3464	339	408	✓				19	17	216	70	4	121
42				✕			✓	19	17	215	83	82	100
43				✕		✓ Festival 3.1		19	17	215	84	82	106
44				✕			✓	19	17	215	85	82	108
45				✕		✓ Festival 3.0		19	17	215	86	84	160
46				✕		✓ Festival 3.1		19	17	213	84	84	160
47	803	118	51	✓				11	13	75	25	28	42
48	1287	152	404	✓				11	13	75	26	26	46
49	935	128	401	✓				13	13	97	33	32	44
50	1257	164	401	✓				13	13	97	34	36	42
51	778	176	4	✓				13	13	89	26	26	66
52				✕				17	17	222	93	1	56
53				✕				17	17	221	93	1	74
54	2058	146	417	✓				17	17	173	43	24	60
55				✕			✓	23	23	407	162	1	168
56				✕				19	19	258	81	64	190
57				✕				19	19	258	85	56	164
58				✕				19	18	230	76	56	164
59	763	120	1	✓				13	15	96	26	22	38
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
60				✕				19	19	143	36	36	52
61	3148	328	411	✓				19	19	156	52	44	100
62				✕			✓	19	19	152	48	60	132
63	434	114	413	✓				17	9	82	28	34	54
64	131	36	71	✓	✓			15	9	70	27	8	36
65	469	84	83	✓				11	16	82	27	32	54
66	478	90	53	✓	✓			9	13	62	18	8	36
67	88	22	1	✓	✓			12	8	37	9	4	16
68				✕				16	16	123	23	113	303
69	243	32		✓	✓			14	14	76	12	20	32
70	440	82	1	✓	✓			12	12	74	18	14	20
71	201	36	6	✓	✓			9	13	64	18	12	32
72	399	90	11	✓	✓			19	9	61	14	18	56
73	2057	280	36	✓				11	17	106	26	10	54
74	1759	276	414	✓				19	17	184	56	20	62
75	1787	308	408	✓				19	17	184	56	26	66
76	4291	636	66	✓				19	17	130	20	20	58
77	2030	292	407	✓				17	16	145	39	28	72
78	984	148	132	✓				19	11	115	28	42	80
79	841	138	14	✓				15	11	96	28	66	80
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
80	1862	267	22	✓				15	11	95	27	59	85
81	515	92	1	✓				11	11	71	22	32	34
82	523	92	3	✓	✓			9	15	85	32	30	32
83	461	78	1	✓				9	15	77	26	34	42
84	319	82	1	✓	✓			13	13	64	16	16	44
85	1018	220	402	✓				15	15	120	36	64	86
86				✕				14	13	113	34	24	122
87	1597	441	25	✓				15	13	112	26	141	167
88	401	64	1	✓	✓			13	10	70	15	22	30
89	1450	318	30	✓				13	15	107	21	94	124
90	2252	277	442	✓				13	15	115	30	77	131
91	1993	443	14	✓				13	15	111	24	97	133
92	1878	334	30	✓				17	17	122	14	60	134
93	1026	170	402	✓				13	13	98	29	28	88
94	493	147	2	✓	✓			13	13	56	14	9	45
95	311	68		✓	✓			11	11	45	8	12	14
96	1522	204	119	✓	✓			11	17	91	23	8	26
97				✕				19	17	176	46	32	66
98	1123	130	182	✓				17	17	118	22	38	66
99	1398	432	14	✓				18	13	108	18	294	378
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
100	1266	393	52	✓	✓			18	13	105	17	293	371
101	669	110	4	✓				13	13	93	24	28	66
102	3078	1351	2	✓				19	17	206	46	973	1041
103				✕				19	17	206	45	941	1287
104				✕				19	17	206	46	971	1273
105	1114	278	278	✓				19	17	139	29	44	102
106				✕				19	17	139	30	44	132
107				✕				19	17	139	32	53	145
108	400	96	1	✓	✓			15	9	57	11	10	40
109	434	50	1	✓	✓			13	14	75	9	30	44
110	963	239	316	✓				12	13	83	19	221	227
111	947	120	2	✓	✓			19	9	75	15	2	54
112	2743	208	423	✓				19	15	142	30	4	74
113	2108	300	455	✓				19	15	147	33	8	64
114	1446	198	405	✓				19	15	146	32	8	64
115	4365	340	419	✓				19	15	142	30	22	96
116	4111	330	430	✓				19	15	142	30	20	90
117				✕				19	15	142	31	22	102
118				✕				13	13	87	22	20	70
119				✕				17	13	123	34	40	88
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
120				✕				17	13	116	27	40	100
121	1665	170	437	✓				19	12	126	30	28	74
122	1663	204	411	✓				19	12	126	31	30	84
123				✕				19	12	126	31	31	81
124	837	132	1	✓	✓			19	11	97	18	40	68
125	515	86	23	✓	✓			13	11	63	14	40	66
126	411	55	1	✓	✓			15	11	81	11	11	27
127	409	55	1	✓	✓			15	11	81	11	15	37
128				✕				19	17	183	48	110	200
129				✕				19	17	179	48	110	220
130	393	56		✓	✓			15	11	65	10	14	32
131	310	37	1	✓	✓			15	10	64	9	11	27
132	183	24	2	✓	✓			10	12	55	10	14	24
133	731	110	1	✓	✓			11	13	66	12	4	18
134	819	88	121	✓	✓			17	13	108	23	34	62
135				✕				17	17	143	28	48	108
136	1377	332	26	✓				19	13	117	22	40	90
137	654	148	87	✓	✓			17	13	103	18	36	68
138	40	11		✓	✓			7	8	18	4	5	11
139	565	114	88	✓				15	9	78	22	26	64
Sven Egevad Sharpen	Moves	Pushes	Time (sec)	Solved?	All?	One?	None?	Width	Height	Floors	Boxes	Lower Bound	BP
140	714	129	1	✓	✓			13	13	71	19	11	47
141	586	111	3	✓	✓			13	12	62	15	13	49
142	655	110	7	✓	✓			13	12	62	15	12	46
143	1085	162	6	✓				19	17	149	18	62	104
144	1891	397	106	✓				19	15	139	29	167	217
145	2949	464	295	✓				19	17	179	43	202	324
146	719	112	28	✓				19	11	108	19	50	70
147				✕			✓	19	16	176	58	229	371
148	736	118	443	✓				17	11	99	24	36	82
149	771	130	16	✓	✓			13	13	73	14	30	70
150	1465	196	407	✓				15	13	96	22	150	170
151	961	246	3	✓				18	17	128	21	138	170
152	718	96	8	✓	✓			17	9	81	20	38	44
153				✕			✓	19	17	185	49	11	137
Solved levels	141319	21980	17701	114 of 153	43	4	6		Total	18761	5296	10210	17456
Solved levels, grand total	141319	21980	17701	114 of 153	43	4	6		Grand total	18761	5296	10210	17456


Solver	Festival
Version	2.0
Author	Yaron Shoham
Time limit	10 minutes
Solver settings	Default settings
Computer processor (CPU)	Intel(R) Xeon(R)

Sokoban Solver Statistics Contact Sokoban Wiki LogoProgramming and Design: Brian Damgaard, Denmark

Large Test Suite Open Test Suite XSokoban Test Suite

Sokoban Solver Statistics - Festival 2.0 - Sven Egevad Sharpen